Auto merge of #1974 - alexcrichton:dont-document-build, r=brson
authorbors <bors@rust-lang.org>
Tue, 8 Sep 2015 20:50:12 +0000 (20:50 +0000)
committerbors <bors@rust-lang.org>
Tue, 8 Sep 2015 20:50:12 +0000 (20:50 +0000)
commitdf0aed6e0f58a0af9afe54a6c9b17ba935f13382
tree787e78540887ef184d7019a9b1ae6f4f69b132b2
parenta1d772dc1f2fb07c1898c9130317b8b4422e3402
parentb43d286987fb16a43976b784f506ca4f5517f080
Auto merge of #1974 - alexcrichton:dont-document-build, r=brson

They're not actually relevant to the documentation, so omit them.